Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings: 5684 (Lecture ... Computer Science and General Issues)
by
ISBN 13: 9783642034657
Format: Paperback (357 pages) Publisher: Springer Published: 29 Jul 2009
Save for later
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
by Annabelle McIver,Charles Carroll Morgan
ISBN 13: 9780387401157
Format: Hardcover (388 pages) Publisher: Springer Published: 05 Jan 2005
ISBN 13: 9781441923127
Format: Paperback (404 pages) Publisher: Springer Published: 19 Nov 2010